1. Formal specification :
المؤلف: Nimal Nissanke.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Application software -- Development.,Formal methods (Computer science)
رده :
QA76
.
9
.
F67
N563
1999
2. Introductory logic and sets for computer
المؤلف: / Nimal Nissanke
المکتبة: المكتبة المركزية ومركز الوثائق بجامعة آراك (مرکزي)
موضوع: Computer Logic,Set theory
رده :
004
.
015113
N726i
3. Introductory logic and sets for computer scientists
المؤلف: / Nimal,Nissanke
المکتبة: المكتبة المركزية لجامعة كاشان للعلوم الطبية (أصبهان)
موضوع: Computer logic
رده :
QA76
.
9
.
N724i
1999
4. Introductory logic and sets for computer scientists
المؤلف: Nissanke, Nimal.
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Computer logic,، Set theory
رده :
QA
76
.
9
.
L63
N57
1999
5. Introductory logic and sets for computer scientists
المؤلف: Nimal Nissanke
المکتبة: (کرمان)
موضوع: Computer logic,Set theory
رده :
QA
76
.
9
.
L63
,
N57
6. Introductory logic and sets for computer scientists
المؤلف: Nissanke, Nimal
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Computer logic,، Set theory
رده :
QA
76
.
9
.
L63
.
N57
1999
7. Introductory logic and sets for computer scientists
المؤلف: Nimal Nissanke
المکتبة: (کرمان)
موضوع: Computer logic,Set theory
رده :
QA
76
.
9
.
L63
,
N57
